Самая большая электронная библиотека рунета. Поиск книг и журналов
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)
Автор: Howard Barringer, Автор: Ylies Falcone, Автор: Bernd Finkbeiner, Автор: Klaus Havelund, Автор: Insup Lee, Автор: Gordon Pace, Автор: Grigore Rosu, Автор: Oleg Sokolsky, Автор: Nikolai Tillmann
Emerging Directions in Embedded and Ubiquitous Computing: EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006,
Автор: Xiaobo Zhou, Автор: Oleg Sokolsky, Автор: Lu Yan, Автор: Eun-Sun Jung, Автор: Zili Shao, Автор: Yi Mu, Автор: Dong-Chun Lee, Автор: Daeyoung Kim, Автор: Young-Sik Jeong, Автор: Cheng-Zhong Xu
|
